distributed state machine
11,40
postcript
pdf
ABS:
h-ordered(
es
;
e
.
P
(
e
);
H
)
STM:
h-ordered
wf
STM:
h-order
transitivity
ABS:
dsm(
es
;
ASM
;
I
;
O
;
R
;
V
;
H
)
STM:
dsm
wf
origin
